✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔌Embedded
Flag this post
Handbook of Satisfiability (2021)
iospress.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·19h·
Discuss: Hacker News
🔌Embedded
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·3h·
Discuss: Hacker News
🤖AI
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·15h·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·14h·
Discuss: Hacker News
🤖AI
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·7h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·1h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·11h·
Discuss: Hacker News
🤖AI
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Quoting Steve Francia
simonwillison.net·1d
🤝Using AI for programming
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·21h·
Discuss: Hacker News
🔌Embedded
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·16h·
Discuss: Hacker News
🤖AI
Flag this post